Total Books: 1 - 1 /1
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lire la suite
Total Books: 1 - 1 /1
